A._Chagrov,_M._Zakharyaschev;_"Modal_Logic",_Thm_1.18